straight line theorem